9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 191-211
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 212-231
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 232-245
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 246-265
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Embedded Systems > 76-95
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Embedded Systems > 96-115
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Embedded Systems > 116-135
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Security and Knowledge > 19-36
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Security and Knowledge > 37-56
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Security and Knowledge > 57-75